Results for 'V. V. Part︠s︡vanii︠a︡'

962 found
Order:
  1. Non-commutative logic I: the multiplicative fragment.V. Michele Abrusci & Paul Ruet - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
    We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  2.  41
    (1 other version)Non‐commutative intuitionistic linear logic.V. Michele Abrusci - 1990 - Mathematical Logic Quarterly 36 (4):297-318.
  3. Chelovek v kulʹture: filosofskie, antropologicheskie, regionalʹnye aspekty kulʹtury i russkogo kosmizma: monografii︠a︡.V. V. Lytkin (ed.) - 2022 - Moskva: RU-SCIENCE.
    Glava 1. Osmyslenie "ideala" russkim kosmizmom -- Glava 2. Analiz osnovnykh filosofsko-antropologicheskikh ideĭ v russkoĭ religioznoĭ filosofii -- Glava 3. Idei kosmizma v russkoĭ religioznoĭ filosofii -- Glava 4. V.I. Vernadskiĭ o sootnoshenii nauki, filosofii i religii -- Glava 5. Mifologicheskoe i nauchnoe v izuchenii obraza protopopa Avvakuma -- Glava 6. Ėkonomicheskoe razvitie i nravstvennai︠a︡ degradat︠s︡ii︠a︡ cheloveka i obshchestva v format︠s︡ionnom podkhode Karla Marksa i Fridrikha Ėngelʹsa.
    No categories
     
    Export citation  
     
    Bookmark  
  4. (1 other version)Index of Authors of Volume 7.V. M. Abrusci, G. Attardi, D. Basin, R. Booth, T. Borghuis, S. Buvac, M. Cadoli, J. Cantwell, H. de Nivelle & M. Dymetman - 1998 - Journal of Logic, Language, and Information 7 (507):507.
     
    Export citation  
     
    Bookmark  
  5. Vvedenie v psikhologii︠u︡ polimorfnoĭ individualʹnosti.V. V. Belous - 2000 - Pi︠a︡tigorsk: PGLU.
     
    Export citation  
     
    Bookmark  
  6. Pravda i lozhʹ v soznanii russkogo naroda i sovremennoĭ psikhologii ponimanii︠a︡.V. V. Znakov - 1993 - Moskva: Rossiĭskai︠a︡ akademii︠a︡ nauk, In-t psikhologii.
  7.  19
    Universal vs. particular reasoning: a study with neuroimaging techniques.V. M. Abrusci, C. Casadio, M. T. Medaglia & C. Porcaro - 2013 - Logic Journal of the IGPL 21 (6):1017-1027.
  8.  23
    Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets.V. Michele Abrusci & Claudia Casadio - 2021 - In Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 1-37.
    This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  82
    On Hilbert's Axiomatics of Propositional Logic.V. Michele Abrusci - 2014 - Perspectives on Science 22 (1):115-132.
    Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Prospettive della Logica e della Filosofia della scienza.V. Abrusci (ed.) - 1998 - ETS.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  4
    Politologii︠a︡: problemy teorii.V. A. Achkasov & V. A. Gutorov (eds.) - 2000 - Sankt-Peterburg: Izd-vo "Lanʹ".
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. (1 other version)V temnykh religīoznykh luchakh.V. V. Rozanov - 1909
    No categories
     
    Export citation  
     
    Bookmark  
  13. Nauchnye i vnenauchnye formy v sot︠s︡ialʹnom poznanii: teoreticheskie i prakticheski-dukhovnye formy osvoenii︠a︡ deĭstvitelʹnosti.V. G. Fedotova, V. V. Denisov & N. N. Kozlova (eds.) - 1987 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark  
  14. Semanticheskai︠a︡ proizvodnostʹ v grammatike.V. V. Gurevich - 1988 - Moskva: Izd-vo MGPI im. V.I. Lenina.
     
    Export citation  
     
    Bookmark  
  15. Obʺi︠a︡snenie i ponimanie v spet︠s︡ialʹnykh obshchestvennykh naukakh.V. G. Fedotova, V. V. Denisov, N. N. Kozlova & A. A. Ri︠a︡binkina (eds.) - 1989 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
     
    Export citation  
     
    Bookmark  
  16. Chelovek v ėpokhu NTR.V. V. Poshataev - 1987 - Moskva: "Pedagogika".
     
    Export citation  
     
    Bookmark  
  17. Filosofskiĭ fakulʹtet Moskovskogo gosudarstvennogo universiteta im. M.V. Lomonosova: ocherki istorii.V. V. Mironov (ed.) - 2002 - Moskva: "Sovremennye tetradi".
     
    Export citation  
     
    Bookmark  
  18.  6
    Problemy kontroli︠a︡ kachestva obrazovanii︠a︡ v oblasti filosofii.V. V. Mironov (ed.) - 2007 - Moskva: Izd-vo S.A. Savin.
  19.  11
    "Ėpokha nauki" v zerkale modernistsko-postmodernistskogo spora: nauchno-analiticheskiĭ obzor.V. V. Borisenko (ed.) - 1996 - Moskva: Inion Ran.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Idei︠a︡ sobornosti v russkoĭ religioznoĭ filosofii: pi︠a︡tʹ izbrannykh portretov.V. V. Gorbunov & Iurii Markovich Nagibin - 1994 - Moskva: "Feniks". Edited by I︠U︡riĭ Nagibin.
     
    Export citation  
     
    Bookmark  
  21. Legitimnostʹ kak kharakteristika sushchnosti prava: vvedenie v teorii︠u︡: monografii︠a︡.V. V. Denisenko - 2014 - Moskva: Izdatelʹstvo "I︠U︡rlitinform".
     
    Export citation  
     
    Bookmark  
  22. Problema cheloveka v dialekticheskom materializme: Mezhvuz. sb. nauch. tr.V. V. Orlov (ed.) - 1979 - Permʹ: PGU.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Volny politicheskoi modernizatsii v istorii Rossii.V. I. Pantin & V. V. Lapkin - 1998 - Polis 2:39-51.
     
    Export citation  
     
    Bookmark   1 citation  
  24. Ėticheskai︠a︡ myslʹ v Germanii i Rossii: Kant--Gegelʹ--Vl. Solovʹev.V. V. Lazarev - 1996 - Moskva: IFRAN.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Mesto i funkt︠s︡ii︠a︡ "struktury" v sisteme kategoriĭ materialisticheskoĭ dialektiki.V. V. Agudov - 1979 - Moskva: Vyssh. shkola.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  5
    Istorii︠a︡ obshchestvennoĭ i filosofskoĭ mysli v Belarusi: ėpokha srednevekovʹi︠a︡: khrestomatii︠a︡.V. V. Starostenko (ed.) - 2009 - Mogilev: UO "MGU im. A.A. Kuleshova.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Razbrasyvai︠u︡ mysli: v puti i na pereputʹe.V. V. Nalimov - 2000 - Moskva: Progress-Tradit︠s︡ii︠a︡.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  5
    K spravedlivomu obshchestvu: idei, proekty, teorii na Zapade i v Rossii.V. V. Markhinin (ed.) - 2011 - Moskva: Algoritm.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Voprosy metoda v estestvennykh naukakh.V. V. Semenov - 1990 - Pushchino: Nauch. t︠s︡entr biologicheskikh issl. AN SSSR,.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Problema ukazanii︠a︡ v i︠a︡zyke nauki.V. V. Petrov - 1977 - Novosibirsk: Nauka, Novosib. otd-nie. Edited by V. V. T︠S︡elishchev.
     
    Export citation  
     
    Bookmark  
  31.  38
    Philosophical and psychological dimensions of social expectations of personality.V. V. Khmil & I. S. Popovych - 2019 - Anthropological Measurements of Philosophical Research 16:55-65.
    Purpose. To analyse the philosophical and psychological contexts of social expectations of personality, to form general scientific provisions, to reveal the properties, patterns of formation, development and functioning of social expectations as a process, result of reflection and construction of social reality. Theoretical basis of the study is based on the phenomenology of E. Husserl, the social constructivism philosophy of L. S. Vygotskiy, P. Berger, T. Luckmann, K. J. Gergen, ideas of constructive alternativeism of G. Kelly, psychology of social expectations (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32. Les (hyle): problema materii, istorii︠a︡ poni︠a︡tii︠a︡, zhivai︠a︡ materii︠a︡ v antichnoĭ i sovremennoĭ biologii.V. V. Bibikhin - 2011 - Sankt-Peterburg: Nauka.
     
    Export citation  
     
    Bookmark  
  33.  35
    Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
    Questions connected with the admissibility of rules of inference and the solvability of the substitution problem for modal and intuitionistic logic are considered in an algebraic framework. The main result is the decidability of the universal theory of the free modal algebra imageω extended in signature by adding constants for free generators. As corollaries we obtain: there exists an algorithm for the recognition of admissibility of rules with parameters in the modal system Grz, the substitution problem for Grz and for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  34.  10
    Idei︠a︡ t︠s︡elostnosti v russkoĭ religioznoĭ filosofii: (seredina XIX--nachalo XX v.).V. V. Lazarev - 2012 - Moskva: IFRAN.
    Анализируется круг проблем, к которым было приковано преимущественное внимание русских философов указанного периода. Это - идущее от А. С. Хомякова философское осмысление Божественного Триединства.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Voprosy sot︠s︡ialʹnoĭ filosofii v russkoĭ filosofii: tezisy III-ĭ Konferent︠s︡ii po russkoĭ filosofii.V. V. Lazarev (ed.) - 1993 - Pi︠a︡tigorsk: Izd-vo Pi︠a︡tigorskogo gospedin-ta inostrannykh i︠a︡zykov.
     
    Export citation  
     
    Bookmark  
  36. V Poiskakh Inykh Smyslov.V. V. Nalimov - 1993
    No categories
     
    Export citation  
     
    Bookmark  
  37.  9
    Národ v nás: česká otázka a ideál humanitní v údobí normalizace.Erazim V. Kohák - 1978 - Sixty-eight Publishers.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  8
    Voinstvui︠u︡shchiĭ ėmpirizm v filosofii.V. V. Semenov - 2004 - Pushchino: Pnt︠s︡ Ran.
  39.  5
    Vzaimodopolnitelʹnostʹ morali i prava v bioėtike: monografii︠a︡.V. V. Sergeev - 2013 - Samara: GBOU "SamGMU".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Opravdanie mnogoobrazii︠a︡: print︠s︡ip polimorfizma v metodologii nauki.V. V. Shkoda - 1990 - Kharʹkov: Izd-vo "Osnova" pri Kharʹkovskom gos. universitete.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  47
    Human as a carrier of the worldview: Individual and collective dimensions.V. V. Havrylenko - 2020 - Anthropological Measurements of Philosophical Research 18:62-75.
    Purpose. The purpose of the study is to outline the links between individual and collective dimensions of the human worldview. This purpose requires solving two tasks: to update philosophical ideas formed by reflection on human and community worldview; to identify and generalize the relationship of singular and general in the context of the problem of human worldview. Theoretical basis. The study is based on philosophical reflections about manifestations of singular and general worldviews. Such reflections appeared in European philosophy quite a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  41
    The Archaeology of V. Gordon Childe: Contemporary Perspectives.William G. Dever, V. Gordon Childe & David R. Harris - 1996 - Journal of the American Oriental Society 116 (1):133.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  57
    Laurikainen K. V.. Matematiikan analyyttisyydestä . Ajatus , vol. 10 , pp. 105–121.G. H. V. Wright - 1942 - Journal of Symbolic Logic 7 (1):42-42.
  44. Istina v iskusstve: russkiĭ mistit︠s︡izm v sisteme mirovozzreniĭ Vostoka i Zapada.V. V. Kortunov - 1992 - Moskva: Rossiĭskiĭ nauch. fond.
     
    Export citation  
     
    Bookmark  
  45.  16
    Ponimanie v myshlenii, obshchenii, chelovecheskom bytii.V. V. Znakov - 2007 - Moskva: In-t psikhologii RAN.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  12
    Philosophical Foundations of the Humanitarian and Technological Revolution.V. V. Ivanov & G. G. Malinetsky - 2019 - Russian Journal of Philosophical Sciences 62 (4):76-95.
    The articles discusses the philosophical foundations and the traditions of the theory of the humanitarian and technological revolution. The subject-matter of HTR theory is the description and forecast of the transition from the industrial to the post-industrial phase of civilization development as well as the strategy and the most effective methods of management of various socio-economic systems. This theory, actively developing in recent years, focuses on goal setting and on determining priorities and development criteria in the field of technology, science (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  14
    Trialog 2: iskusstvo v prostranstve ėsteticheskogo opyta.V. V. Bychkov - 2017 - Moskva: Progress-Tradit︠s︡ii︠a︡. Edited by N. B. Manʹkovskai︠a︡ & Vladimir Ivanov.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  5
    Granit︠s︡y v analize: i︠u︡ngianskiĭ podkhod.V. V. Kalinenko - 2011 - Moskva: Kogito-t︠s︡entr.
    В книге представлено понимание границ в психотерапии с позиций аналитической психологии. Для практикующих психологов и психотерапевтов, а также для студентов психологических вузов.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  7
    Realizm i nominalizm v russkoĭ filosofii i︠a︡zyka.V. V. Kolesov - 2007 - Sankt-Peterburg: Logos.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  15
    Sartres existentialistische Hegeldeutung und Revision des Marxismus.V. V. Wroblewsky - 1970 - Deutsche Zeitschrift für Philosophie 18 (7).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 962